Bensalem, Saddek : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (51)
Les plus populaires
Liste
- Liste
- Tableau

1

Rigorous design of robot software: A formal component-based approach

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Felix Ingrand

Journal:

Robotics and Autonomous Systems

Année:

2012

Langue:

english

Fichier:

PDF, 2.10 MB

english, 2012

2

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

Giannopoulou, Georgia, Poplavko, Peter, Socci, Dario, Huang, Pengcheng, Stoimenov, Nikolay, Bourgos, Paraskevas, Thiele, Lothar, Bozga, Marius, Bensalem, Saddek, Girbal, Sylvain, Faugere, Madeleine, S

Journal:

Design Automation for Embedded Systems

Année:

2018

Langue:

english

Fichier:

PDF, 2.20 MB

english, 2018

3

Verification and validation meet planning and scheduling

Bensalem, Saddek, Havelund, Klaus, Orlandini, Andrea

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2014

Langue:

english

Fichier:

PDF, 283 KB

english, 2014

4

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - Automatic Generation of Observers for the Dala Robot with TTG

Bensalem, Saddek, Bozga, Marius, Gallien, Matthieu, Ingrand, François Félix, Krichen, Moez, Tripakis, Stavros, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj Ahmed

Année:

2008

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2008

5

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Time-predictable and composable architectures for dependable embedded systems

Bensalem, Saddek, Goossens, Kees, Kirsch, Christoph M., Obermaisser, Roman, Lee, Edward A., Sifakis, Joseph

Année:

2011

Langue:

english

Fichier:

PDF, 297 KB

english, 2011

6

ASTROLABE

Nouri, Ayoub, Bozga, Marius, Molnos, Anca, Legay, Axel, Bensalem, Saddek

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2016

Langue:

english

Fichier:

PDF, 1.64 MB

english, 2016

7

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Année:

2018

Langue:

english

Fichier:

PDF, 2.09 MB

english, 2018

8

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

Guesmi, Hela, Ben Hedia, Belgacem, Bliudze, Simon, Bensalem, Saddek, Lenabec, Briag

Journal:

Innovations in Systems and Software Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.80 MB

english, 2018

9

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems

Gioulekas, Fotios, Poplavko, Peter, Katsaros, Panagiotis, Bensalem, Saddek, Palomo, Pedro

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2019

Langue:

english

Fichier:

PDF, 487 KB

english, 2019

10

[IEEE 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2020.6.8-2020.6.11)] 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Fog Computing and Blockchain for Massive IoT Deployment

Baouya, Abdelhakim, Chehida, Salim, Bensalem, Saddek, Bozga, Marius

Année:

2020

Fichier:

PDF, 544 KB

2020

11

Testing Conformance of Real-Time Applications by Automatic Generation of Observers

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 381 KB

english, 2005

12

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2008

13

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2012

Langue:

english

Fichier:

PDF, 1015 KB

english, 2012

14

Priority scheduling of distributed systems based on model checking

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis

Journal:

Formal Methods in System Design

Année:

2011

Langue:

english

Fichier:

PDF, 595 KB

english, 2011

15

Automatic Generation of Invariants

Saddek Bensalem, Yassine Lakhnech

Journal:

Formal Methods in System Design

Année:

1999

Langue:

english

Fichier:

PDF, 100 KB

english, 1999

16

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Efficient deadlock detection for concurrent systems

Bensalem, Saddek, Griesmayer, Andreas, Legay, Axel, Nguyen, Thanh-Hung, Peled, Doron

Année:

2011

Langue:

english

Fichier:

PDF, 755 KB

english, 2011

17

Rigorous embedded design: challenges and perspectives

Saddek Bensalem, Axel Legay, Marius Bozga

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2013

Langue:

english

Fichier:

PDF, 124 KB

english, 2013

18

Optimized distributed implementation of multiparty interactions with Restriction

Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.48 MB

english, 2015

19

Statistical model checking QoS properties of systems with SBIP

Nouri, Ayoub, Bensalem, Saddek, Bozga, Marius, Delahaye, Benoit, Jegourel, Cyrille, Legay, Axel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2015

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2015

20

Component-based verification using incremental design and invariants

Bensalem, Saddek, Bozga, Marius, Legay, Axel, Nguyen, Thanh-Hung, Sifakis, Joseph, Yan, Rongjie

Journal:

Software & Systems Modeling

Année:

2016

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2016

21

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - State identification problems for input/output transition systems

Saddek Bensalem,, Moez Krichen,, Stavros Tripakis,

Année:

2008

Langue:

english

Fichier:

PDF, 224 KB

english, 2008

22

[IEEE 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) - Agios konstantinos, Samos Island, Greece (2013.07.15-2013.07.18)] 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Stochastic modeling and performance analysis of multimedia SoCs

Raman, Balaji, Nouri, Ayoub, Gangadharan, Deepak, Bozga, Marius, Basu, Ananda, Maheshwari, Mayur, Legay, Axel, Bensalem, Saddek, Chakraborty, Samarjit

Année:

2013

Langue:

english

Fichier:

PDF, 748 KB

english, 2013

23

[IEEE 2014 10th IEEE Workshop on Factory Communication Systems (WFCS) - Toulouse, France (2014.5.5-2014.5.7)] 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014) - Model-based validation of CANopen systems

Lekidis, Alexios, Bozga, Marius, Bensalem, Saddek

Année:

2014

Langue:

english

Fichier:

PDF, 424 KB

english, 2014

24

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Incremental Generation of Linear Invariants for Component-Based Systems

Bensalem, Saddek, Bozga, Marius, Boyer, Benoit, Legay, Axel

Année:

2013

Langue:

english

Fichier:

PDF, 557 KB

english, 2013

25

[IEEE 2013 25th Euromicro Conference on Real-Time Systems (ECRTS) - Los Alamitos, CA, USA (2013.07.9-2013.07.12)] 2013 25th Euromicro Conference on Real-Time Systems - Mixed Critical Earliest Deadline First

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Année:

2013

Langue:

english

Fichier:

PDF, 348 KB

english, 2013

26

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Incremental Invariant Generation for Compositional Design

Bensalem, Saddek, Legay, Axel, Nguyen, Thanh-Hung, Sifakis, Joseph, Yan, Rongjie

Année:

2010

Langue:

english

Fichier:

PDF, 459 KB

english, 2010

27

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Falcone, Yliès, Jaber, Mohamad, Nguyen, Thanh-Hung, Bozga, Marius, Bensalem, Saddek

Journal:

Software & Systems Modeling

Année:

2015

Langue:

english

Fichier:

PDF, 1.29 MB

english, 2015

28

[Lecture Notes in Computer Science] From Programs to Systems. The Systems perspective in Computing Volume 8415 || Steps towards Scenario-Based Programming with a Natural Language Interface

Bensalem, Saddek, Lakhneck, Yassine, Legay, Axel

Année:

2014

Langue:

english

Fichier:

PDF, 246 KB

english, 2014

29

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - Confirmation of deadlock potentials detected by runtime analysis

Bensalem, Saddek, Fernandez, Jean-Claude, Havelund, Klaus, Mounier, Laurent

Année:

2006

Langue:

english

Fichier:

PDF, 240 KB

english, 2006

30

[ACM Press the 2nd edition - Tucson, Arizona, USA (2012.10.21-2012.10.22)] Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12 - Distributed priority synthesis using knowledge

Cheng, Chih-Hong, Yan, Rongjie, Ruess, Harald, Bensalem, Saddek

Année:

2012

Langue:

english

Fichier:

PDF, 546 KB

english, 2012

31

[ACM Press the 2nd edition - Tucson, Arizona, USA (2012.10.21-2012.10.22)] Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions - AGERE! '12 - Optimized distributed implementation of multiparty interactions with observation

Bensalem, Saddek, Bozga, Marius, Quilbeuf, Jean, Sifakis, Joseph

Année:

2012

Langue:

english

Fichier:

PDF, 504 KB

english, 2012

32

[IEEE 2015 IEEE Sensors Applications Symposium (SAS) - Zadar, Croatia (2015.4.13-2015.4.15)] 2015 IEEE Sensors Applications Symposium (SAS) - Building distributed sensor network applications using BIP

Lekidis, Alexios, Bourgos, Paraskevas, Djoko-Djoko, Simplice, Bozga, Marius, Bensalem, Saddek

Année:

2015

Langue:

english

Fichier:

PDF, 898 KB

english, 2015

33

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Optimized distributed implementation of timed component-based systems

Triki, Ahlem, Combaz, Jacques, Bensalem, Saddek

Année:

2015

Langue:

english

Fichier:

PDF, 322 KB

english, 2015

34

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Année:

2015

Langue:

english

Fichier:

PDF, 452 KB

english, 2015

35

[IEEE 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops - A Timed-Automata Based Middleware for Time-Critical Multicore Applications

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Année:

2015

Langue:

english

Fichier:

PDF, 969 KB

english, 2015

36

Distinguishing extended finite state machine configurations using predicate abstraction

El-Fakih, Khaled, Yevtushenko, Nina, Bozga, Marius, Bensalem, Saddek

Journal:

Journal of Software Engineering Research and Development

Année:

2016

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2016

37

[IEEE 2015 IEEE 17th International Conference on High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS) and 2015 IEEE 12th International Conf on Embedded Software and Systems (ICESS) - New York, NY, USA (2015.8.24-2015.8.26)] 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems - Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms

Socci, Dario, Poplavko, Peter, Bensalem, Saddek, Bozga, Marius

Année:

2015

Langue:

english

Fichier:

PDF, 197 KB

english, 2015

38

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - Building faithful high-level models and performance evaluation of manycore embedded systems

Nouri, Ayoub, Bozga, Marius, Molnos, Anca, Legay, Axel, Bensalem, Saddek

Année:

2014

Langue:

english

Fichier:

PDF, 798 KB

english, 2014

39

[ACM Press the WESE'15: Workshop - Amsterdam, Netherlands (2015.10.04-2015.10.09)] Proceedings of the WESE'15: Workshop on Embedded and Cyber-Physical Systems Education - WESE'15 - Education and training challenges in the era of Cyber-Physical Systems

Törngren, Martin, Bensalem, Saddek, McDermid, John, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto, Schätz, Bernhard

Année:

2015

Langue:

english

Fichier:

PDF, 69 KB

english, 2015

40

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Models for Deterministic Execution of Real-Time Multiprocessor Applications

Poplavko, Peter, Socci, Dario, Bourgos, Paraskevas, Bensalem, Saddek, Bozga, Marius

Année:

2015

Langue:

english

Fichier:

PDF, 271 KB

english, 2015

41

[IEEE 2017 24th Asia-Pacific Software Engineering Conference (APSEC) - Nanjing (2017.12.4-2017.12.8)] 2017 24th Asia-Pacific Software Engineering Conference (APSEC) - Knowledge Based Optimization for Distributed Real-Time Systems

Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

Année:

2017

Langue:

english

Fichier:

PDF, 309 KB

english, 2017

42

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || A Protocol for Constraint Automata Execution in a Synchronous Network of Processors

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Année:

2018

Langue:

english

Fichier:

PDF, 435 KB

english, 2018

43

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Année:

2018

Langue:

english

Fichier:

PDF, 493 KB

english, 2018

44

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Année:

2018

Langue:

english

Fichier:

PDF, 1.93 MB

english, 2018

45

Maximal software execution time: a regression-based approach

Nouri, Ayoub, Poplavko, Peter, Angelis, Lefteris, Zerzelidis, Alexandros, Bensalem, Saddek, Katsaros, Panagiotis

Journal:

Innovations in Systems and Software Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2018

46

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) ||

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Année:

2018

Langue:

english

Fichier:

PDF, 11.08 MB

english, 2018

47

[Lecture Notes in Computer Science] Verification and Evaluation of Computer and Communication Systems Volume 11181 (12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings) || Improving Parallel State-Space Exploration Using Genetic Algorithms

Atig, Mohamed Faouzi, Bensalem, Saddek, Bliudze, Simon, Monsuez, Bruno

Année:

2018

Langue:

english

Fichier:

PDF, 402 KB

english, 2018

48

[ACM Press the 26th International Conference - Chasseneuil-du-Poitou, France (2018.10.10-2018.10.12)] Proceedings of the 26th International Conference on Real-Time Networks and Systems - RTNS '18 - Algorithmic Complexity of Correctness Testing in MC-Scheduling

Kahil, Rany, Socci, Dario, Poplavko, Peter, Bensalem, Saddek

Année:

2018

Langue:

english

Fichier:

PDF, 938 KB

english, 2018

49

[IEEE 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Hakodate (2018.8.28-2018.8.31)] 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Predictability in Mixed-Criticality Systems

Kahil, Rany, Poplavko, Peter, Socci, Dario, Bensalem, Saddek

Année:

2018

Fichier:

PDF, 8 KB

2018

50

[IEEE 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2020.6.8-2020.6.11)] 2020 9th Mediterranean Conference on Embedded Computing (MECO) - Exploration of Impactful Countermeasures on IoT Attacks

Chehida, Salim, Baouya, Abdelhakim, Bozga, Marius, Bensalem, Saddek

Année:

2020

Fichier:

PDF, 298 KB

2020